#include <stdio.h>

int main()
{
  fprintf(stderr, "cmd: print to stderr.\n");
  fflush(stderr);
  return 0;
}